home *** CD-ROM | disk | FTP | other *** search
- # LaTeX2HTML 2022 (Released January 1, 2022)
- # Associate labels original text with physical files.
-
-
- $key = q/big-fmt/;
- $external_labels{$key} = "$URL/" . q|node80_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/capacity/;
- $external_labels{$key} = "$URL/" . q|node103_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/config-error/;
- $external_labels{$key} = "$URL/" . q|node97_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/config-sec/;
- $external_labels{$key} = "$URL/" . q|node3_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/config-syntax/;
- $external_labels{$key} = "$URL/" . q|node5_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/def-view/;
- $external_labels{$key} = "$URL/" . q|node19_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/dv-sec/;
- $external_labels{$key} = "$URL/" . q|node118_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/dvipsdlg/;
- $external_labels{$key} = "$URL/" . q|node118_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/edit-menu/;
- $external_labels{$key} = "$URL/" . q|node43_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/enc-sec/;
- $external_labels{$key} = "$URL/" . q|node87_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/file-menu/;
- $external_labels{$key} = "$URL/" . q|node33_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/fmt-sec/;
- $external_labels{$key} = "$URL/" . q|node79_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/folders/;
- $external_labels{$key} = "$URL/" . q|node2_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/graphics/;
- $external_labels{$key} = "$URL/" . q|node91_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/lowpsprint/;
- $external_labels{$key} = "$URL/" . q|node28_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/mf-sec/;
- $external_labels{$key} = "$URL/" . q|node116_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/mfmode/;
- $external_labels{$key} = "$URL/" . q|node117_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/new-tfm/;
- $external_labels{$key} = "$URL/" . q|node83_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/nonpsprint/;
- $external_labels{$key} = "$URL/" . q|node27_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/oldlatex/;
- $external_labels{$key} = "$URL/" . q|node78_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/other-configs/;
- $external_labels{$key} = "$URL/" . q|node75_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/oztools/;
- $external_labels{$key} = "$URL/" . q|node89_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/page-setup/;
- $external_labels{$key} = "$URL/" . q|node37_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/paper-coords/;
- $external_labels{$key} = "$URL/" . q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/pk-sec/;
- $external_labels{$key} = "$URL/" . q|node84_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/ps-fonts/;
- $external_labels{$key} = "$URL/" . q|node85_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/rotation/;
- $external_labels{$key} = "$URL/" . q|node95_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/scaling-probs/;
- $external_labels{$key} = "$URL/" . q|node114_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/shortcuts/;
- $external_labels{$key} = "$URL/" . q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/stdpsprint/;
- $external_labels{$key} = "$URL/" . q|node29_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/tfm-sec/;
- $external_labels{$key} = "$URL/" . q|node82_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/usedvips/;
- $external_labels{$key} = "$URL/" . q|node39_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/usestdps/;
- $external_labels{$key} = "$URL/" . q|node38_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/vf-sec/;
- $external_labels{$key} = "$URL/" . q|node88_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/view-menu/;
- $external_labels{$key} = "$URL/" . q|node58_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/viewdlg/;
- $external_labels{$key} = "$URL/" . q|node18_ct.html|;
- $noresave{$key} = "$nosave";
-
- 1;
-
-
- # LaTeX2HTML 2022 (Released January 1, 2022)
- # labels from external_latex_labels array.
-
-
- 1;
-
-